(set-logic ALL)
(set-info :status sat)
(declare-const x1 Real)
(declare-fun s () Real)
(assert (and (> (* x1 s x1) 1.0) (exists ((x Bool)) (=> (not true) false))))
(check-sat)
